//]]>
Unhighlight Highlight
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems by Lokuciejewski, Paul. Publication: . XVIII, 262 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ada 2012 Reference Manual. Language and Standard Libraries by Taft, S. Tucker. Publication: . XXVIII, 921 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Parallel Processing Technologies by Wu, Chenggang. Publication: . XII, 410 p. 187 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ada 2012 Rationale by Barnes, John. Publication: . XI, 213 p. 3 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2013 Parallel Processing by Wolf, Felix. Publication: . XXVIII, 890 p. 314 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multicore Software Engineering, Performance, and Tools by Lourenço, João M. Publication: . X, 111 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Safe and Secure Software Reuse by Favaro, John. Publication: . XIV, 362 p. 114 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Brat, Guillaume. Publication: . XXIV, 486 p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages and Compilers for Parallel Computing by Kasahara, Hironori. Publication: . XII, 276 p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Jhala, Ranjit. Publication: . XVIII, 265 p. 96 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Aliasing in Object-Oriented Programming. Types, Analysis and Verification by Clarke, Dave. Publication: . VIII, 515 p. 134 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Assurances for Self-Adaptive Systems by Cámara, Javier. Publication: . X, 341 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering IV by Lämmel, Ralf. Publication: . XII, 449 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Beckert, Bernhard. Publication: . X, 356 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Self-Adaptive Systems II by Lemos, Rogério. Publication: . X, 393 p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Park, James J. Publication: . XX, 647 p. 253 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies by Margaria, Tiziana. Publication: . XVI, 361 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change by Margaria, Tiziana. Publication: . XVI, 617 p. 170 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Chakraborty, Supratik. Publication: . XIV, 436 p. 106 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Research in Attacks, Intrusions, and Defenses by Balzarotti, Davide. Publication: . XIV, 400 p. 119 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 Next >>
Languages: 
English |
العربية